我们研究了两种双重量子信息效应,以操纵量子计算中的信息量:隐藏和分配。由此产生的类型和效果系统完全可以表达不可逆量子计算,包括测量。我们提供通用范畴构造,以语义解释这种具有选择的箭头元语言,从任何解释可逆基语言的装备群开始。量子测量的几个特性通常遵循,我们将(非迭代)量子流程图翻译成我们的语言。语义构造将希尔伯特空间之间的幺正类别转变为完全正迹保持映射类别,并将有限集之间的双射类别转变为具有选择垃圾的函数类别。因此,它们捕捉了 Toffili 和 Stinespring 的经典和量子可逆计算的基本定理。
![arXiv:2107.12144v2 [quant-ph] 2021 年 11 月 10 日PDF文件第1页](/bimg/0/0ee22b52cd06a23a941e38bec74d2edf16def568.webp)
![arXiv:2107.12144v2 [quant-ph] 2021 年 11 月 10 日PDF文件第2页](/bimg/a/a59f435e72d04eaa5deef19b7b6b46b78ee275d0.webp)
![arXiv:2107.12144v2 [quant-ph] 2021 年 11 月 10 日PDF文件第3页](/bimg/7/7e8cb960d61114c3f623b5076113644d44da4a16.webp)
![arXiv:2107.12144v2 [quant-ph] 2021 年 11 月 10 日PDF文件第4页](/bimg/f/f72b09c41f70b20fe10be66f9de7d45bd15788d9.webp)
![arXiv:2107.12144v2 [quant-ph] 2021 年 11 月 10 日PDF文件第5页](/bimg/6/6ffce662844eb923cbcef30d09fdc55a3baf8e0a.webp)
